lower semi-lattice

下半格